Definition

The (unilateral) Laplace transform ℒ\mathcal{L} is defined by

ℒ[f(t)](s)≡∫0∞f(t)e−stdt\mathcal{L}[f(t)](s) \equiv \int_0^\infty f(t) e^{-st} dt

The inverse of the Laplace transform, i.e. the Bromwich integral, is given by

F(t)=12πi∫γ−i∞γ+i∞estf(s)dsF(t) = \frac{1}{2\pi i} \int_{\gamma - i \infty}^{\gamma + i \infty} e^{st} f(s) ds

Table

#incomplete

linear time-invariant continuous-time system

theorem, fundamental property of fixed linear analog systems#Theorem

Output, y(t)=S{u(t)}=12πi∫c−i∞c+i∞U(s)S{est}ds=12πi∫c−i∞c+i∞U(s)H(s)dsy(t) = S\{u(t)\} = \frac{1}{2\pi i} \int_{c-i\infty}^{c+i\infty} U(s) S\{e^{st}\} ds = \frac{1}{2\pi i} \int_{c-i\infty}^{c+i\infty} U(s) H(s) ds

Y(s)=H(s)U(s)Y(s) = H(s) U(s)

(note: some engineering notations use jj instead of ii for the imaginary unit)

Differentiation theorem of ℒ\mathcal{L} transforms

ℒ{𝐱˙(t)}=s𝐗(s)−𝐱(0)\mathcal{L}\{\dot{\mathbf{x}}(t)\} = s \mathbf{X}(s) - \mathbf{x}(0)

Convolution theorem of ℒ\mathcal{L} transforms

If y(t)=∫0∞x1(t−τ)x2(τ)dτy(t) = \int_0^\infty x_1 (t - \tau) x_2 (\tau) d\tau, then,

Y(s)=X1(s)X2(s)Y(s) = X_1(s) X_2(s)

transformation of time-invariant system

𝐗(s)=[sI−A]−1𝐱(0)+[sI−A]−1B𝐔(s)𝐘(s)=C[sI−A]−1𝐱(0)+[C[sI−A]−1B+D]𝐔(s) \begin{aligned} \mathbf{X}(s) &= [sI - A]^{-1} \mathbf{x}(0) + [sI-A]^{-1}B \mathbf{U}(s) \\ \mathbf{Y}(s) &= C[sI - A]^{-1} \mathbf{x}(0) + [C[sI-A]^{-1}B + D] \mathbf{U}(s) \end{aligned}

then, for the transition matrix,

ℒ{ϕ(t)}[sI−A]−1\mathcal{L}\{\phi(t)\} [sI - A]^{-1}

and transfer function matrix,

H(s)=ℒ{H(t)}=[C[sI−A]−1B+D]H(s) = \mathcal{L}\{H(t)\} = [C[sI-A]^{-1}B + D]

See also

References

  1. https://mathworld.wolfram.com/LaplaceTransform.html
  2. https://mathworld.wolfram.com/BromwichIntegral.html
  3. https://crrl.poly.edu/6253/lectures/lect7.pdf